Subject: SUO: KIF-ified Ontology Content Date: Fri, 10 Nov 2000 13:29:42 -0800 From: "Ian Niles" To: "Standard-Upper-Ontology \(E-mail\)" Hi All, We here at Teknowledge have been working on converting ontological content into SUO KIF. The sources for this conversion are those listed on the "Candidate Content to be Merged into a Standard" web page (linked to the SUO web site). Our hope is that these various SUO KIF formalizations will eventually be folded into the overarching SUO. As the first installment in this project, I'm attaching three files which are SUO KIF translations of the definitions and axioms of, respectively, Barry Smith et al's theory of bona fide/fiat boundaries/objects (Smith.kif), Nicola Guarino et al's theory of physical objects (Guarino.kif), and the Core Plan Representation (CPR.kif). We would appreciate any comments/criticisms you might have about these formalizations and/or the original content. Sincerely, Ian Niles --------------------------------------------------------------------- Name: Smith.kif Smith.kif Type: unspecified type (application/octet-stream) Encoding: quoted-printable Download Status: Not downloaded with message Name: Guarino.kif Guarino.kif Type: unspecified type (application/octet-stream) Encoding: quoted-printable Download Status: Not downloaded with message Name: CPR.kif CPR.kif Type: unspecified type (application/octet-stream) Encoding: 7bit Download Status: Not downloaded with message